|
I
I/O, 99, 171, 471
idle symbol, 337
implicitly typed, 204
include, vii, 16, 69, 81, 98, 148, 165, 230, 243, 250, 256, 265, 276, 356, 463, 464
INDUCT, 485
inference rule, 216, 219, 223, 224
infinite, 3, 26, 37, 39, 60, 131, 229
infinity, 229, 309
infix, 21, 108, 109, 204
inlined, 111
integer, 20, 21, 22, 34, 35, 36, 37, 38, 42, 43, 46, 56, 66, 87, 96, 126, 140, 162, 202, 257, 264, 285, 286, 287, 309, 311, 315, 384, 400, 459, 462, 464, 473, 476
integrity condition, 443, 445, 446
internal, 114
internal expressions, 71
interpretation, 157, 178, 305
interpreter, 170, 200, 415
interval, 234
intuitionistic propositional calculus, 221
inverter, 31
isomorphic, 140
|
|
